The ML Kit is a straight translation of the Definition of Standard ML into a collection of Standard ML modules. For example, every inference rule in the Definition is translated into a small piece of Standard ML code which implements it. The translation has been done with as little originality as possible - even variable conventions from the Definition are carried straight over to the Kit. The Kit is intended as a tool box for those people in the programming language community who may want a self-contained parser or type checker for full Standard ML but do not want to understand the clever bits of a high-performance compiler. We have tried to write simple code and modular interfaces. Version 1 interpreter, documentation Nick Rothwell, David N. Turner, Mads Tofte <tofte@diku.dk>, and Lars Birkedal at Edinburgh and Copenhagen Universities. ftp://ftp.diku.dk/diku/users/birkedal/. UK: ftp export/ml/mlkit/ from lfcs.ed.ac.uk (1993-03-12)

(toilet bags)

Meta Language

1. <robotics> Manipulator Language. IBM language for handling robots. 2. Meta Language. R. Milner <rm@lfcs.edinburgh.ac.uk> et al, 1973. A strict higher-order functional language. It was the first language to include polymorphic typing which was statically-checked. It also had garbage collection and a formal semantics. It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions") People soon noticed that ML could be a useful general programming language and stand-alone versions were implemented. Standard ML (SML) is a descendant of these (and related languages such as Hope). The "metalanguage" aspect has long since disappeared from the language itself (although there are some systems that still use it that way). The historical name is now so inappropriate that asking what ML stands for is like asking what C or Unix stands for. It doesn't stand for anything; it just is. LCF ML was implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal using the {Functional Abstract Machine} (FAM). It has been significantly redesigned to produce Standard ML and Lazy ML. ["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordon et al, 5th POPL, ACM 1978]. (2006-07-21)

Mail List